This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. (...) This time the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

The conventional approach to developing expert systems views the domain of application as being “formally defined”. This view often leads to practical problems when expert systems are built using this approach. This paper examines the implications and problems of the formal approach to expert system design and proposes an alternative approach based on the concept of semi-formal domains. This approach, which draws on the work of socio-technical information systems, provides guidelines which can be used for the design (...) of successful expert systems. (shrink)

Many Sides is the first full-length study of Protagorean antilogic, an argumentative practice with deep roots in rhetorical history and renewed relevance for contemporary culture. Founded on the philosophical relativism of Protagoras, antilogic is a dynamic rather than a formal approach to argument, focused principally on the dialogical interaction of opposing positions (anti-logoi) in controversy. In ancient Athens, antilogic was the cardinal feature of Sophistic rhetoric. In Rome, Cicero redefined Sophistic argument in a concrete set of dialogical procedures. In (...) turn, Quintilian inherited this dialogical tradition and made it the centrepiece of his own rhetorical practice and pedagogy. Many Sides explores the history, theory, and pedagogy of this neglected rhetorical tradition and, by appeal to recent rhetorical and philosophical theory, reconceives the enduring features of antilogical practice in a dialogical approach to argumentation especially suited to the pluralism of our own age and the diversity of modern classrooms. (shrink)

Rationality and reasonableness can be illustrated as Janus-faced concepts, not only in a descriptive diagnosis but also in a normative construction of adjudication, and in the analysis of its practical and rhetorical effects. Considering such an illustration, the present reflection returns to the discussion on the relevance of rationality and reasonableness in legal interpretation, aiming at distinguishing and/or connecting principles and criteria, beyond formally logical and/or procedurally argumentative decision-making, and, thus, within a normatively practical adjudication. Such an approach (...) will be presented in two main steps. In a first step, the rationality/reasonableness dichotomy will be discussed within a constitutive connection between principles and criteria in adjudication, and understanding legal principles as normatively substantial foundations to legal criteria—the former as axiological references filtered into the juridical system and the latter as their concretizations, and whose practical adequacy is rhetorically assigned by the interpretive communities involved in/by adjudication, and normatively referred both to their practical accordance to the axiological normativity of the principles they shall presuppose and to their suitability as practical operators to the problematic relevance of the sub judice cases. In a second step, and consequently, encompassing the projection of legal interpretation, in semiotic and in practical-normative perspectives, in order to discuss their constituting practical relevance in adjudication, the rationality/reasonableness dichotomy will be experimented within formal-logical procedures and within practical-dialectical connections between juridical problem and juridical system—therefore stating a discussion on the foundations, the intentionality and the consequences of adjudication, amongst deduction and analogy. (shrink)

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

This paper attempts to look at the contemporary mathematical practice through the lenses of the distributed cognition approach. The ubiquitous use of personal computers and the internet as a key attribute of the digital society is interpreted here as a means to achieve a more effective distribution of the human cognitive activity. The major challenge that determines the transformation of mathematical practice is identified as ‘the problem of complexity’. The computer-assisted complete formalization of mathematical proofs as a current tendency is (...) viewed as one of the strands along which the mathematical community responds to the challenge. It is shown that this tendency gives live to the project calling to revisit and rebuild the very foundations of mathematics to secure more effective communication and thus guarantee the reliability of contemporary mathematics. (shrink)

The project of integrated HPS has occupied philosophers of science in one form or another since at least the 1960s. Yet, despite this substantial interest in bringing together philosophical and historical reflections on the nature of science, history of science and formal philosophy of science remain as divided as ever. In this paper, I will argue that the continuing separation between historical and formal philosophy of science is ill-founded. I will argue for this in both abstract and concrete (...) terms. At the abstract level, I reconstruct two possible arguments for the incompatibility of historical and formal philosophy of science and argue that they are both wanting. At the concrete level, I discuss how historical and formal philosophy of science have been brought together in practice, namely: in the form of a largely forgotten research tradition that I will refer to here as the study of formalized macro-units. After a brief exposition, I argue that this research tradition has been unduly overlooked by historically minded philosophers of science. Bringing together these observations, I argue that the divide between historical and formal philosophy of science is not grounded in any substantive arguments, but can be primarily attributed to disciplinary happenstance. (shrink)

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modal formal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in general. (...) From these discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of what we do with them will be found to be distorted. (shrink)

Like Spanish moss on a live oak tree, the scientific study of meaning in language has expanded in the last 100 years, and continues to expand steadily. In this essay I want to chart some central themes in that expansion, including their histories and their important figures. Our attention will be directed toward what is called 'formal semantics', which is the adaptation to natural language of analytical techniques from logic.[1] The first, background, section of the paper will survey the (...) changing attitudes of linguists toward semantics into the last third of the century. The second and third sections will examine current formal approaches to meaning. In the final section I will summarize some of the common assumptions of the approaches examined in the middle sections of the paper, sketch a few alternatives, and make some daring predictions. (shrink)

The remarks presented here are an attempt to elaborate a global approach, in a purely formal way, to professional ethics as a philosophical problem. Following a brief analysis of the link between practice and reflection , I form a general view of the ethical dimension of existence , then analyze some characteristics of modern professional activity and conclude by stressing the necessity for giving shape — especially through institutions — to this ethical movement .In this way, my remarks are (...) an attempt to respond to the conviction that the current interest in ethical matters within the professional domain signals a significant moment in our cultural and social history. Professional practice has never had a greater impact or greater autonomy than it has today. This raises the question whether they will join the human adventure in a responsible manner, or follow their own path, one guided by the demands of technical performance, economic profitability and unbridled globalization. In its ambiguity, the ethical summons that we hear from all sides today is perhaps the sign of a kairos, an occasion requiring both lucidity and commitment.Bearing this in mind, the question with which I would like to begin my remarks is the following: how should we seize this occasion and lead it toward the future? To be more precise: what are the conditions under which professional ethics can become, not simply a pronouncement, a dream, a desire or a regret, but a dynamic of social and historical responsibility? (shrink)

We suggest a new framework for the Weyl-Feferman predicativist program by constructing a formal predicative set theory P ZF which resembles ZF , and is suitable for mechanization. The basic idea is that the predicatively acceptable instances of the comprehension schema are those which determine the collections they define in an absolute way, independent of the extension of the “surrounding universe”. The language of P ZF is type-free, and it reflects real mathematical practice in making an extensive use of (...) statically defined abstract set terms. Another important feature of P ZF is that its underlying logic is ancestral logic (i.e. the extension of first-order logic with a transitive closure operation). (shrink)

Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to “look ahead” in order to show all possible continuations of a given unfinished sentence. Such lookahead features, however, are difficult to implement in a (...) satisfying way with existing grammar frameworks, especially if the CNL supports complex nonlocal structures such as anaphoric references. Here, methods and algorithms are presented for a new grammar notation called Codeco, which is specifically designed for controlled natural languages and predictive editors. A parsing approach for Codeco based on an extended chart parsing algorithm is presented. A large subset of Attempto Controlled English has been represented in Codeco. Evaluation of this grammar and the parser implementation shows that the approach is practical, adequate and efficient. (shrink)

This paper reports on a study of the largest Spanish corporations concerning the status of corporate ethics policies. The research project, the first of its kind in Spain, has two parts. First, the types of formal documents the companies use are analysed, including those dealing with ethical values or norms. Three groups of companies are distinguished: the first group has no formal documents dealing with ethical values, and the reasons given for not having any ethical statement are discussed. (...) A second group has one document mentioning ethical values (generally the vision and/or mission statement), and a third group has in place two or more documents (one generic and the other more detailed, such as a code of conduct). The findings show that the latter group is more proactive than the former in implementing measures for promoting business ethics throughout the organisation. In the second part of the research, the study analyses the differences between companies whose headquarters are in Spain, Europe and USA regarding the arguments, the focus and the practices used to formalise business ethics. (shrink)

The processes underwriting the acquisition of culture remain unclear. How are shared habits, norms, and expectations learned and maintained with precision and reliability across large-scale sociocultural ensembles? Is there a unifying account of the mechanisms involved in the acquisition of culture? Notions such as “shared expectations,” the “selective patterning of attention and behaviour,” “cultural evolution,” “cultural inheritance,” and “implicit learning” are the main candidates to underpin a unifying account of cognition and the acquisition of culture; however, their interactions require greater (...) specification and clarification. In this article, we integrate these candidates using the variational (free-energy) approach to human cognition and culture in theoretical neuroscience. We describe the construction by humans of social niches that afford epistemic resources called cultural affordances. We argue that human agents learn the shared habits, norms, and expectations of their culture through immersive participation in patterned cultural practices that selectively pattern attention and behaviour. We call this process “thinking through other minds” (TTOM) – in effect, the process of inferring other agents’ expectations about the world and how to behave in social context. We argue that for humans, information from and about other people's expectations constitutes the primary domain of statistical regularities that humans leverage to predict and organize behaviour. The integrative model we offer has implications that can advance theories of cognition, enculturation, adaptation, and psychopathology. Crucially, this formal (variational) treatment seeks to resolve key debates in current cognitive science, such as the distinction between internalist and externalist accounts of theory of mind abilities and the more fundamental distinction between dynamical and representational accounts of enactivism. (shrink)

This article investigates the use of favors by managers of BRIC firms to accomplish business goals, the ethicality of which should be determined by the moral reasoning in these countries rather than from a developed country perspective. We define a favor as an exchange of outcomes between individuals, typically utilizing one's connections, that is based on a commonly understood cultural tradition, with reciprocity by the receiver typically not being immediate, and its value being less than what would constitute bribery within (...) that cultural context. This exchange normally takes place between and among members of networks, and may involve a network outsider contacted by a network insider on behalf of another insider. We see the giver and receiver of the favor, as well as network insiders and outsiders, as stakeholders. Additionally, society could also be considered to be a stakeholder since the practice of using favors generally inhibits the development of legitimate, strong formal institutions, since the use of favors in emerging economies is rooted in cultural traditions that we view as informal institutions. Furthermore, we assert that the practice of using favors can lead to bribery which harms society as a stakeholder both morally and economically. We posit that BRIC-country managers' behaviors stem from informal, culturally based practices—jeito in Brazil, blat/sviazi in Russia, jaan-pehchaan in India, and guanxi in China. We utilize institutional theory to explain why favors are relied upon, and ISCT to support the argument that the use of favors in environments like the BRICs is generally considered ethical. (shrink)

Foundations of sociology in the theory of language -- Theory of rationality and theory of meaning -- Formal pragmatics -- Communicative rationality -- Discourse theory of truth -- On epistemology -- Discourse ethics -- Moral theory -- On the system of practical discourses -- Political theory -- Democracy -- The constitutional state -- Nation, culture, and religion -- Constitutionalization of international law? -- Critique of reason -- Metaphilosophical reflections -- Postmetaphysical thinking -- The challenge of naturalism -- The (...) challenge of religion. (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A (...) Tractarian Resolution to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

My aim in this paper is to use a formal approach to the Turing test. This approach is based on a tool developed within Inferential Erotetic Logic, so called erotetic search scenarios. First, I reconstruct the setting of the Turing test proposed by A.M. Turing. On this basis, I build a model of the test using erotetic search scenarios framework. I use the model to investigate one of the most interesting issues of the TT setting – the interrogator’s perspective (...) and role in the test. (shrink)

This paper discusses the impacts of different formal and informal institutions upon the Regional Forest Programme of Southwest Finland. The divide between formal and informal institutions is a binary distinction: it is used as a discursive tool for identifying social structures and processes and for articulating their significance in development and environmental planning, valuation and decision-making. In the end part of the paper, there is a brief discussion of how normative and moral issues can be explicitly and more (...) creatively integrated into the practice of environmental policy. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

The author outlines his views on the essence of philosophical logic. There are two means of philosophical argumentation: intuition and analysis of the problem situation under examination. Logical intuition can be replaced by improved intuition based on new intellectual constructions. Then the author explains—in opposition to von Wright—the main philosophical traits of his conception of norm logic. The structure of the information processing determining action justifies the application of dichotomous semantics in action theory and in practical philosophy. The theory (...) of action and institutions is based on three anthropological features of man: our capacity of acting, our being a zoon politikon, and our capacity to form institutions. These features determine our ontology, our semantics and the logics of practical thinking. The action‐theoretical approach leads to a formal and finalistic theory of action in which action is not only analysed as an element of the norm content, but as the essential basis of the whole field of practical philosophy. In the frame of this action theory a conception of freedom of will is provided which does not contrast with determinism. The formalism of action is applied in two different problem situations: in action deliberation and in motive interpretation. Jørgensen's dilemma is discussed and overcome by the introduction of a generalised notion of inference. Deontic logic is confronted with the idea of a genuine logic of norms. The main principles of norm logic are discussed and a normative conditional is introduced. Von Wright's conception of a genuine norm logic is confronted with the present author's conception. The author shows that norm‐logical skepticism would be detrimental to analytical jurisprudence. (shrink)

My aim in this paper is to explore different ways of understanding Kant’s Formula of Humanity as a formal principle. I believe that a formal principle for Kant is a principle that is constitutive of some domain of cognition or rational activity. It is a principle that both constitutively guides that activity and serves as its internal regulative norm. In the first section of this essay, I explain why it is desirable to find a way to understand the (...) Formula of Humanity as a formal principle in this sense. In sections II and III I discuss two interpretive approaches to Kant’s idea that rational nature or humanity is an end in itself, both of which may be construed as treating the Formula of Humanity as a formal principle. By focusing on the notion of formal principle, I hope to raise a set of issues about how to understand the idea of rational nature or humanity as an end in itself, and about the relation of the Formula of Humanity [FH] to the Formula of Universal Law [FUL]. I do not resolve the issues in this paper, though I briefly sketch some resolution at the end. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

Data science skills are rapidly becoming a necessity in modern science. In response to this need, institutions and organizations around the world are developing research data science curricula to teach the programming and computational skills that are needed to build and maintain data infrastructures and maximize the use of available data. To date, however, few of these courses have included an explicit ethics component, and developing such components can be challenging. This paper describes a novel approach to teaching data ethics (...) on short courses developed for the CODATA-RDA Schools for Research Data Science. The ethics content of these schools is centred on the concept of open and responsible science citizenship that draws on virtue ethics to promote ethics of practice. Despite having little formal teaching time, this concept of citizenship is made central to the course by distributing ethics content across technical modules. Ethics instruction consists of a wide range of techniques, including stand-alone lectures, group discussions and mini-exercises linked to technical modules. This multi-level approach enables students to develop an understanding both of “responsible and open science citizenship”, and of how such responsibilities are implemented in daily research practices within their home environment. This approach successfully locates ethics within daily data science practice, and allows students to see how small actions build into larger ethical concerns. This emphasises that ethics are not something “removed from daily research” or the remit of data generators/end users, but rather are a vital concern for all data scientists. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal (...) class='Hi'>approaches to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

The aim of this article is to describe the basic parameters of a value-oriented approach to assessing the education results as a possible basis for the methodology for assessment of the educational work in the general system of education. The key methods we used were content analysis of text sources, cross-reference analysis, comparative analysis, and humanitarian examination of juristic documents. The interpretation of education as a unity of teaching and upbringing for the state as a key subject of education, which (...) forms the requirements for the results and organization of the educational process, sets the task of assessing personal, subject and metasubject educational results. The philosophy of education faces a challenge regarding the determination of the expediency of assessing educational results, the conceptual basis of assessment, fixing the orientation of assessment on the conditions of educational organzations' activities, and on the results achieved by students. A practical managerial task is to develop an attitude towards using formalized procedures and methods for assessing educational results. The article proposes a value-oriented approach to assessing the educational work in the general education system of the Russian Federation based on an analysis of key regulatory documents of the Russian education system, the interpretation of upbringing as a process of forming value-semantic attitudes. The approach is based on identifying three main groups of value orientations to build a possible system of indicators that fix educational results: "Value orientations related to life, health and safety"; "Value orientations of social interaction"; "Value orientations of personal development". Values are an essential element in regulating human behavior, which guides the process of defining goals and choosing the means to achieve them. Values acquire a functional character in value orientations and can serve as indicators of education results at the level of students as a collective subject. It seems impossible to single out the contribution of individual actors to the output of education and to avoid contradictions between the value-semantic attitudes that exist in the space of modern culture. For the education system, the subject of assessing the quality of upbringing as a purposeful process can be both the quality of the organization of upbringing work and the outcomes of upbringing efforts. The results of education as a manifestation of value orientations in the activities of students can be considered based on quantitative and qualitative indicators, which is significant for making managerial decisions at different levels. (shrink)

The diffusion of similar organizational practices across the world has been a prominent research topic for quite some time. In the literature on sociological new institutionalism, two basic research perspectives have developed to address the diffusion and subsequent institutionalization of cultural models and formally organized practices. The first argues that diffusion happens as a top-down adoption process. The second describes diffusion and institutionalization as bottom-up emergence. My stance bridges both perspectives. In this article, I argue that for us to understand (...) diffusion processes, emergence and adoption need to be integrated within a coherent theoretical framework, as both of these processes are inseparably interlinked. The global diffusion of truth commissions is employed as a case study to develop this framework. Starting with the empirical observation of the global diffusion of truth commissions, I dissect the case study by asking: How did truth commissions emerge and become adopted as a globally recognized solution to the problem of dealing with human rights violations after political transitions? To answer this question, I introduce three theoretical building blocks—reciprocal typification, narrative embedding, and fictional consensus. Taken together, these concepts constitute the process of collective learning, which I present here as a new approach to diffusion. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...) is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

Some people approve of certain general rules of behavior, or some concrete cases. The others disapprove of or are indifferent to them. In this paper I suggest an axiom system which formalizes the use of these utterances. It may be considered as a special (individualistic) approach to deontic logic.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Pragmatist Ethics: A Problem-Based Approach to What Matters by James Jakób LiszkaHenrik RydenfeltJames Jakób Liszka (Ed) Pragmatist Ethics: A Problem-Based Approach to What Matters Albany: SUNY Press, 2021; 192 pp., incl. indexThere appears to be increasing interest in public discussion and debate on ethical issues in our societies motivated by concerns regarding economic growth within the limits of the environment, the development [End Page 253] of "autonomous" machines (...) and advances in artificial intelligence, and issues of justice and equality under conditions of global emergencies such as climate change. Over the past twenty years, numerous philosophers have produced important works on the ethical perspectives and social and political philosophy of the classic thinkers of the pragmatist tradition, including several volumes on John Dewey and William James, and a volume on Charles S. Peirce that James Liszka also published in 2021. However, there exist few general statements of the potential of the pragmatist approach to the topic of ethics in general. For this reason, Liszka's new book outlining pragmatist ethics is welcome. Despite its concise presentation of only about 170 pages, Liszka manages to discuss a number of pragmatist notions and views both in their historical context and in contrast and comparison with contemporary arguments, particularly ones developed in the fields of metaethics and normative ethics of the analytic tradition.As both a scholar and a philosopher, Liszka offers his own perspective on the pragmatist approach and what is unique and distinctive about it. In the introduction, the pragmatist perspective is described as beginning with an examination of actual problems to develop solutions that may reveal what would be good or better than the present, rather than aiming at the development of a concept of the good that could then be applied in particular cases. The remainder of the book can be characterised as developing this notion of ethics through the lenses of philosophical debates, both historical and contemporary, on practical reasoning, community, inquiry, and moral progress. Following the introduction, Liszka presents in the second chapter his pragmatist, problem-based ethics as a response to the "tragedy of life", in the sense of an inevitable conflict of goods and values, with the melioristic slogan "solve problems, and good will follow". In the third chapter, Liszka delves deeper into the roots of his problem-based ethics by looking at the writings of the classical pragmatists, including Peirce's maxim of pragmatism, James's account of truth as that which brings us into a satisfactory relation with other parts of our experience, Peirce's notion of the community of inquiry, and Dewey's account of democracy as the setting for solving the problems of the community. James Wallace's account of practices as potential solutions for problems provides Liszka with an important stepping stone to his conclusion, drawn at the end of this chapter, that in order to solve problems, practices must aim to attain a good end in the right way.However, this formal conclusion does not provide specific guidance on how problems should be solved. Providing such guidance is the task of practical reason, the subject of chapter four. Liszka's discussion develops pragmatist perspectives on practical reasoning based on Wallace's account, Robert Brandom's distinctions between shapes of practical reasoning, as well as Peirce's account of desire. All of these are brought to [End Page 254] bear in long-standing debates in meta-ethics. In particular, to counter subjectivism and other familiar issues with the Humean desire-belief account of moral motivation (or internalism about moral motivation), Liszka—again drawing from Wallace's notion—argues that practices are not subjective but collectively approved and institutionalised.The presence of problems indicates that something is not working within the practice in question. Pragmatists typically suggest that inquiry could be deployed to solve problems. This is why in chapter five normative science is considered. Liszka's central project is to make sense of the pragmatist stance that moral inquiries and judgments can be made scientific, and that normative claims can be tested by observing the results actually attained. Liszka argues that "the norms of practical reasoning derive their... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Problems with a Weakly Pluralist Approach to Democratic EducationSheron Fraser-BurgessIntroductionPluralism embodies wide acknowledgement of various forms of difference. Appeals to pluralism involve arguments for the proliferating of differences as a social and moral ideal. Rather than being a formal political regime such as with democracy or social liberalism, in the extant political philosophy literature, pluralism brings considerations of diversity and equality to bear in philosophical analysis of traditional (...) systems of government.As a critique, pluralism falls along a continuum, which can be conceived of as iterations of the standing of particular ways of life, with respect to constraints of both equality and justice. At one end of the spectrum, all conceptions of the human good share a prima facie equality that belie overarching moral norms as a criterion of ranking. Questions about the incumbency of individual liberty motivate movement toward the opposing end, as allowing for the most just society warrants giving precedence to such values. The source of pluralism’s critical role is its inherent demand of a cogent resolution of the moral and, at times, political tension between equality and freedom.This article considers two forms of pluralism that lie near opposing extremes of the continuum and their implication for education. According to Horace Kallen’s and John Gray’s strong pluralism, the claim to the fact of differing values, cultures, etc., has primacy. As a corollary, maintaining the integrity of the social groups as holders of those values becomes central. In conflict with liberal democratic principles, however, protecting group values may occur at the expense of individual detractors within the group or may pose a threat of harm to others outside of the group who do not share these values.On the other hand, one form of weak pluralism, Amy Gutmann’s deliberative democracy, constrains pluralism on political grounds of individual [End Page 1] freedom. Deliberative democracy subsumes the holding of all values, including those shared with a social group, to the requirements of democracy. Both theories are considered as attempts to reconcile principles of treating everyone equally with not unjustly limiting individual freedom in a democracy. I raise principled and practical issues from education that call into question whether each theory satisfactorily resolves the conflicting demands of both equality and liberty. A third alternative is proposed as a salient consideration for democratic education. I begin with the pluralism of Horace Kallen and its relationship to that of John Gray.Strong PluralismHorace Kallen’s Cultural PluralismIn this section, I discuss Horace Kallen’s seminal account of cultural pluralism from the early twentieth century, classifying it with the strong value pluralism articulated by John Gray. Gray’s and Kallen’s pluralism have in common both the sanctioning of the fullest expression of difference and difficulties with making sense of the intuitive pull toward a criterion for the ranking of values that democracy dictates. I then consider the educational implications of Kallen’s view, particularly with respect to its actual influence upon multi-cultural initiatives of the 1970s and 1980s.Kallen coined the term “cultural pluralism” in the early twentieth century (Kallen 73). At this time, America was experiencing a great deal of social upheaval because of the huge influx of European and Asian immigrants. Movements such as nativism and Americanization fueled xenophobic sentiment. In this milieu, the full acculturation of new immigrants became a priority. In education, schooling policies penalized immigrant expressions of cultural identity, such as speaking one’s native language and practicing cultural traditions (Kallen 4).Kallen was one of the voices advocating not only that new immigrants should be allowed to maintain their cultural identity but also that a formal political solution be initiated which accommodated the predilection to do so. Nathan Glazer explains that there was at that time a general blindness to the possibility that “these groups or elements within them would not want to acculturate and assimilate but would want to preserve their corporate characters and distinctiveness even if prejudice and discrimination disappeared.” According to Glazer, such was the doctrine of assimilation for the first forty years of the twentieth century (7). [End Page 2]Kallen’s pluralism is a departure from the prevailing view in... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Transformation of Hearts and Minds:Chan Zen-Catholic Approaches to PreceptsHarry L. WellsCatholic and Buddhist priests, monastics, teachers, and community leaders participated in the second of an anticipated four annual dialogues. The series is sponsored by the Dharma Realm Buddhist Association, the San Francisco Zen Center, and the United States Conference of Catholic Bishops (USCCB). The conference took place 4–7 March 2004 at Mercy Center in Burlingame, CA, whose own (...) East-West meditation program, led by Fr. Thomas Hand, celebrated its twentieth anniversary that year. A popular retreat center and home to the Sisters of Mercy of Burlingame, the Center offered participants tree-dotted, spacious grounds and strolling paths, as well as a labyrinth for contemplative walking.Each day began with both Catholics and Buddhists in Mercy Center's Rose Room, a Zen-style meditation space, for an hour of silent meditation in the morning. Catholic liturgy was celebrated in the afternoon in the main chapel, with all participants invited to attend and share prayer and blessings. On the two full days, Friday and Saturday, two sessions of presentations were held each morning, with one session following in the afternoon. Each of the six sessions focused on a position paper, with three papers given from a Buddhist and three from a Christian perspective. Each paper was presented by its authors, followed by two formal responses, one by a Buddhist and one by a Catholic participant. This was in turn followed by an open discussion within the whole group. A minute of silent meditation began and ended each session.The presentations focused on various meanings embraced by the term "precepts" in each tradition. One paper introduced perspectives on Buddhist precepts in three different Buddhist lineages. Another presented six guidelines as "Precepts on the [End Page 155] Mind-Ground" that connect ethical commitments with social engagement. A third paper focused on Bodhisattva practice, which embraces and unifies all sentient beings. On the Christian side, presentations discussed the precepts as signposts on the path that leads away from suffering, as motivations that move us, and as the practice of the presence of God, exemplified by the writings of Brother Lawrence.A glossary prepared by Fr. Francis Tiso helped define Catholic Christian terms for the Buddhist participants in the dialogue. Similarly, a book distributed to all participants by the Dharma Realm Buddhist Association provided background on "Buddhism A–Z." Formal discussion sessions in the evenings, as well as informal talks by the participants while walking outside or in the form of impromptu hallway meetings added to the depth and richness of the dialogue. Some recurring themes were the importance and meaning of a personal teacher in both traditions; another was the "embodiment" of the teachings, the value of teaching through presence. Personal stories and practical experiences offered by individual participants were much appreciated and added poetry and emotion to the headiness of theological discussion.Members of both the Buddhist and the Catholic traditions reported that the encounter with the spiritual practices and beliefs of the other faith provides both affirmation of the familiar and welcome discovery of unexpected riches of the spirit. The next meeting will be held 20–23 January 2005 at the San Francisco Zen Center. The theme will be "Practice: Method and Experience Toward Transformation."Participating in the 2004 dialogue were Rev. Heng Sure (Berkeley Buddhist Monastery), Bishop John C. Wester (Auxiliary Bishop, Archdiocese of San Francisco), Rev. Taigen Dan Leighton (Mountain Source Sangha), Fr. Arthur Kennedy (Secretariat for Ecumenical and Interreligious Affairs, USCCB), Bhikshuni Heng Liang (Dharma Realm Buddhist Association), Dr. Martin Verhoeven (Institute for World Religions), Dr. Ron Epstein (Institute for World Religions), Dr. Snjezana Akpinar (Dharma Realm Buddhist University), Rev. Shosan Victoria Austin (San Francisco Zen Center), Rev. Alan Senauke (Berkeley Zen Center), Jan Chozen Bays (Zen Community of Oregon), Sr. Phyllis D'Anna, SND (Center for the Practice of Applied Spirituality), Fr. Thomas W. Devereaux (Diocese of Santa Rosa), Robert Hale, OSB Cam. (Incarnation Monastery, Berkeley, CA), Thomas Hand, S.J. (Mercy Center, Burlingame, CA), Fr. Rafael Luévano (Diocese of Orange), Deacon Thomas McGowan (Diocese of Oakland), Lorraine Moriarity (St. Vincent de Paul Society of San Mateo County), Fr. Gerry O'Rourke (Archdiocese... (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

This research examines the possibility of developing a new corporate social responsibility (CSR) auditing system based on the analysis of current CSR literature and interviews conducted with a number of interested and knowledgeable stakeholders. This work attempts to create a framework for social responsibility auditing compatible with an existing commercially successful environmental audit system. The project is unusual in that it tackles the complex issue of CSR auditing with a scientific approach using Grounded Theory. On the evidence discovered to date (...) in the literature review and the interviews, CSR seems to be perceived by many as the social strand of sustainable development. However, there is far less agreement regarding its measurement. Both the literature review and the interview analysis indicate that developing an applied CSR auditing procedure will be a challenging task. This is principally due to the lack of formal study of this complex subject, which, despite the widespread debate it has engendered, still lacks a single and broadly accepted definition. The concepts developed from the findings of this research, together with the key factors identified in a literature review of CSR, were developed into a prospective CSR audit protocol. (shrink)

On September 9, 2013, diplomats and civil society activists gathered in a ballroom in New York to welcome Jennifer Welsh as the UN Secretary-General's new Special Adviser on the Responsibility to Protect. In her first public appearance in that role, Special Adviser Welsh explained that one of her top priorities would be “to take prevention seriously and to make it meaningful in practice.” “In the context of RtoP,” Welsh added during the discussion, “we are talking about crimes, and crimes have (...) implications in terms of how we deal with them. You'll hear me say that a lot.” Welsh's approach of treating RtoP as a principle that is primarily concerned with prevention and is firmly linked to international crimes neatly captures the evolution of RtoP since its formal acceptance by states at the 2005 UN World Summit. Paragraphs 138 to 140 of the World Summit's Outcome Document not only elevated the element of prevention to a prominent place within the principle of RtoP but also restricted the scope of RtoP to four specific crimes under international law: genocide, war crimes, ethnic cleansing, and crimes against humanity. The crime and prevention–focused version of RtoP has subsequently been defended and promoted by Secretary-General Ban Ki-moon and by UN member states. This article seeks to systematically explore some of the implications of linking RtoP to the concept of international crimes, with a particular focus on the preventive dimension of RtoP, the so-called responsibility to prevent. What, then, are the consequences of approaching the responsibility to prevent as the prevention of international crimes?In order to systematically examine this question, this article turns to literature from criminology. While the criminological perspective has so far been neglected in debates on RtoP, the prominent criminologists John Hagan and Wenona Rymond-Richmond argue vehemently that “criminology is crucially positioned to contribute understanding and direction to what the United Nations has mandated as the ‘Responsibility to Protect’ groups that are threatened with mass atrocities.” For the purpose of this article, the label “criminology” comprises domestic criminology, supranational criminology, and international criminal law. While insights from supranational criminology and international criminal law are directly applicable to international crimes, translating knowledge generated in relation to crimes at the domestic level to atrocity crimes at the international level is, of course, not without challenges. Reasoning by analogy is an important method in this regard, though given the anarchical nature of international society some analogies will inevitably be imperfect. The benefits of such an approach, if carefully employed, however, outweigh the risks. (shrink)

This paper traces a relatively linear sequence of early research approaches to the formal verification of concurrent programs. It does so forwards and then backwards in time. After briefly outlining the context, the key insights from three distinct approaches from the 1970s are identified (Ashcroft/Manna, Ashcroft (solo) and Owicki). The main technical material in the paper focuses on a specific program taken from the last published of the three pieces of research (Susan Owicki’s): her own verification of (...) her _Findpos_ example is outlined followed by attempts at verifying the same example using the earlier approaches. Reconsidering the prior approaches on the basis of Owicki’s useful example illuminates similarities and differences between the proposals. Along the way, observations about interactions between researchers (and some “blind spots”) are noted. (shrink)

This paper compares current ways of modeling the inferential structure of practical reasoning arguments, and proposes a new approach in which it is regarded in a modular way. Practical reasoning is not simply seen as reasoning from a goal and a means to an action using the basic argumentation scheme. Instead, it is conceived as a complex structure of classificatory, evaluative, and practical inferences, which is formalized as a cluster of three types of distinct and interlocked argumentation (...) schemes. Using two real examples, we show how applying the three types of schemes to a cluster of practical argumentation allows an argument analyst to reconstruct the tacit premises presupposed and evaluate the argumentative reasoning steps involved. This approach will be shown to overcome the limitations of the existing models of practical reasoning arguments within the BDI and commitment theoretical frameworks, providing a useful tool for discourse analysis and other disciplines. In particular, applying this method brings to light the crucial role of classification in practical argumentation, showing how the ordering of values and preferences is only one of the possible areas of deep disagreement. (shrink)

This paper expands upon a way in which we might rationally doubt that there are multiple sizes of infinity. The argument draws its inspiration from recent work in the philosophy of truth and philosophy of set theory. More specifically, elements of contextualist theories of truth and multiverse accounts of set theory are brought together in an effort to make sense of Cantor’s troubling theorem. The resultant theory provides an alternative philosophical perspective on the transfinite, but has limited impact on everyday (...) mathematical practice. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

Although current literature about the “cure versus care” issue tends to promote a patient-centered approach, the disease-centered approach remains the prevailing model in practice. The perceived dichotomy between the two approaches has created a barrier that could make it difficult for medical students and physicians to integrate psychosocial aspects of patient care into the prevailing disease-based model. This article examines the influence of the formal and hidden curricula on the perception of these two approaches and finds that (...) the hidden curriculum perpetuates the notion that “cure” and “care” based approaches are dichotomous despite significant changes in formal curricula that promote a more integrated approach. The authors argue that it is detrimental for clinicians to view the two approaches as oppositional rather than complementary and attempt to give recommendations on how the influence of the hidden curriculum can be reduced to get a both-cure-and-care-approach, rather than an either-cure-or-care-approach. (shrink)

The UK’s Medical Research Council (MRC) introduced a specific policy and procedure for inquiring into allegations of scientific misconduct in December 1997; previously cases had been considered under normal disciplinary procedures. The policy formally covers staff employed in MRC units, but those in receipt of MRC grants in universities and elsewhere are expected to operate under similar policies. The MRC’s approach is stepwise: preliminary action; assessment to establish prima facie evidence of misconduct; formal investigation; sanctions; and appeal. Strict time (...) limits apply at all stages. The procedure will be evaluated after two years. The indications so far are that the procedure is robust, and its clarity and transparency have been an asset to all parties. The MRC is also convinced that it is equally important to achieve a working culture that fosters integrity. Thus education and training in good research practices are fundamental to the prevention of research misconduct. (shrink)

Informal instructional approaches have long been an important component of a complete education in general and of music education in particular. But informal approaches have often been subject to bandwagon over-enthusiasm, with proponents inflating their virtues beyond what the concept appears to warrant. In this paper I will, first, examine the theoretical underpinnings of informal learning practices, and compare them to those of more formal learning practices to clarify what might be distinctive and valuable about using informal (...) instructional practices in formal music educational settings; second, take a critical look at one empirical study in which informal learning practices were brought into the formal setting, examining some of the favorable and unfavorable aspects of the methods used; and third, briefly argue that informal instructional practices in music education can, along with formal practices, contribute to the formation of an individual learner's identity and agency through engagement with music. (shrink)

Although education means evolving or transforming, every individual is the subject of education between the first breath and the last. The individual's relationship with the objects of existence, combined with his uniqueness, constitutes the subject of education on the time-space plane. The individual's relationship with himself and his environment can be associated with education. Since Sufi education adopts a disciplinary structure that aims to enable the individual to know himself first, the individual acquires knowledge from his Lord in his essence (...) and from the elements that teach him in his environment. Depending on the principle of obtaining knowledge from the closest, the individual obtains the educational activity starting from family members based on the principle of trust. Public institutions implementing curricula have also been other structures that nurture the individual. Due to the nature of education, different applications have emerged over time. As a matter of fact, the learner-teacher relationship has been an obstacle to spatial and temporal unity in the course of life, and as a result of this situation, the concept of distance education has emerged. While the letter tradition used in Sufi education, which is a method of distance education, has been practiced for centuries, the modern world met this concept as an educational method only in the 18th century through correspondence. The concept of distance education, which has taken on much newer forms with today's information technologies, will ultimately continue to support the human relationship with knowledge. In this study, it has been tried to understand the common points, characteristics and contributions to education of distance education, which is one of the educational practices in the historical process, and the letter tradition, which is a method of Sufi education. Individualization of education by taking into account the individual characteristics of each of the students, who constitute the focal point of education, is one of the indispensable elements of Sufi education. The murshid, who gets to know his disciple closely during the training process, sees his disciple's strengths and weaknesses, his character structure and his potential that he can maximize with training. The application of education on an individual basis offers an opportunity to maximize the gains in distance education as in Sufi education. The adoption of the principle of gradualism in educational programs and processes is another of the foundations on which Sufi education is based. According to this principle, education has a gradual structure, and this structure can be envisioned as multiple layers that constitute the basis of each other. In the journey of blending the education system and reaching the ideal form over the centuries, distance education systems have also been able to find a field of action in line with this principle. On the other hand, when we look at another characteristic of Sufi education, we encounter a structured and predetermined framework in education. The processes in education in which objectives, boundaries, expectations and achievements are structured and activities are expected to be carried out within a certain program are also predictable for distance education. It is seen that the teacher-student relationship in Sufi education is far from a formal structure and contains the warmth of the education that takes place in the family in the first years of education. Considering how important the first years of education are in terms of leaving a mark and permanence, it is quite remarkable that this principle comes to life in Sufi education platforms, which can also be considered as a prophetic method, by returning to this subjective structure in education. Today, it has become easier for individuals to structure themselves in the areas they need through distance education, and the educational processes that were carried out through correspondence in the past as a necessity for the health and survival of Sufi education have turned into a preference or alternative rather than an obligation. In this study, the aspects and common denominators of Sufi education, which is a Prophetic method, and the tradition of correspondence, which can contribute to distance education and set an example, have been evaluated together with the characteristics of Sufi education. In the study, firstly, the tradition of letter correspondence as a method of Sufi education is examined historically and educationally, and then distance education, which is seen as an outcome of the modern education system, is evaluated conceptually and historically. In the last part of the study, the common denominators of the letter tradition and distance education practice in Sufi education have been tried to be unearthed on the basis of Sufi education methods. (shrink)

Islam Nusantara is not a new religion, a rival of Islam, sect, or a usual mazhab, but actually is a character of thoughtful mazhab or manhaj Islam. Islam Nusantara is just an approach in practicing Islamic teachings, namely cultural approaches. This Islam has the most prominent character which is called as wasathiyah that is reflected in some attitude such as, inclusive, tolerant, friendly, respect other parties, friendly with diverse cultures and religions, tasamuh, tawazun, and i’tidal. Islam Nusantara sees local (...) cultures as “oxygen”; filters and then respect good culture and tradition so it can have a dialogue with the environment around it positively. This cultural approach has been successfully used by the Walisongo in preaching using tembang, Wayang Kulit, socializing key terms, and so on. In the faith, Islam Nusantara is manifested in some rituals, tahlilan, istighasah, haul akbar, and selametan. Furthermore, in fiqh it’s such as imsak, zakat, halal-bihalal, marriage registration, marriage book, and the reading of ta’liq talaq. Islam Nusantara successfully consolidate Islam with nationalism so both of them are harmonious, and bring the tradition together with modernization through slogan a l-muhafadzah ‘ala al-qadîm al-salih wa al-akhdz bi al-jadîdal-aslah [keep the old good tradition and take a new and better tradition]. (shrink)